A transformation-directed compiling system
نویسندگان
چکیده
منابع مشابه
Compiling Haskell by Program Transformation: A Report from the Trenches
Many compilers do some of their work by means of correctness-preserving, and hopefully performance-improving, program transformations. The Glasgow Haskell Compiler (GHC) takes this idea of \compilation by transformation" as its war-cry, trying to express as much as possible of the compilation process in the form of program transformations. This paper reports on our practical experience of the t...
متن کاملIran’s Health System Transformation Plan: A SWOT analysis
Background: Societies are characterized by evolving health needs, which become more challenging throughout time, to which health system should respond. As such, a constant monitoring and a periodic review and reformation of healthcare systems are of fundamental importance to increase the efficiency and effectiveness of healthcare services delivery, equity, and sustainable funding. The establish...
متن کاملCompiling Functional Code for System-Level Environment
Compilation of programming languages based on λ–calculus to standalone, low-level machine code involves a challenge of removing automatic memory management that is usually required for supporting implicit allocations produced by currently available compilers. We propose a compilation approach that is able to convert pure, lazily-evaluated functional code to machine code suitable for running on ...
متن کاملSemantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
We illustrate a simple and effective solution to semantics-based compiling. Our solution is based on type-directed partial evaluation, where • our compiler generator is expressed in a few lines, and is efficient; • its input is a well-typed, purely functional definitional interpreter in the manner of denotational semantics; • the output of the generated compiler is three-address code, in the fa...
متن کاملcompiling the basic human resources indicators in health system
introduction: evaluation of human resources requires proper indicators for its performance measurement. in fact, compiling indexes consider as the basic source of information evaluation. the aim of this study was to compiling the basic human resources indicators in health system to provide enough information to evaluate human resource management in this sector. this work developed by designing ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1977
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/20.2.109